Wally Axiomatics of Branching Continuations
نویسنده
چکیده
We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the possibility of their clear syntactical axiomatization in a Hilbert-style system is investigated as last. Some basic preliminary observations and suggestions, how such axiomatization could start, are presented.
منابع مشابه
Flow of Time in Bst/bcont Models and Related Semantical Observations
First the Branching Space-time and Branching Continuations models are briefly presented. We compare their properties with the traditional definition of a Flow of Time from physics and we point out the difficulties of it in relativistic time. A solution of a Flow of Time in the given models is then
متن کاملAn Axiomatics for Categories of Transition Systems as Coalgebras
We consider a nitely branching transition system as a coalgebra for an endofunctor on the category Set of small sets. A map in that category is a functional bisimulation. So, we study the structure of the category of nitely branching transition systems and functional bisimulations by proving general results about the category H-Coalg of H-coalgebras for an endofunctor H on Set. We give conditio...
متن کاملSystem with Generalized Quantifiers on Dependent Types for Anaphora
We propose a system for the interpretation of anaphoric relationships between unbound pronouns and quantifiers. The main technical contribution of our proposal consists in combining generalized quantifiers with dependent types. Empirically, our system allows a uniform treatment of all types of unbound anaphora, including the notoriously difficult cases such as quantificational subordination, cu...
متن کاملAn axiomatics for categories of coalgebras
We give an axiomatic account of what structure on a category C and an endofunctor H on C yield similar structure on the category H Coalg of H-coalgebras. We give conditions under which completeness, cocompleteness, symmetric monoidal closed structure, local presentability, and subobject classi ers lift. Our proof of the latter uses a general result about the existence of a subobject classi er i...
متن کاملGeneralized Quantifiers on Dependent Types: A System for Anaphora
We propose a system for the interpretation of anaphoric relationships between unbound pronouns and quantifiers. The main technical contribution of our proposal consists in combining generalized quantifiers with dependent types. Empirically, our system allows a uniform treatment of all types of unbound anaphora, including the notoriously difficult cases such as quantificational subordination, cu...
متن کامل